#include <stdio.h>
#include "welcom.h"


int main(int argc, char *argv[]) {
	welcom();
	//kernel();
	//finish();
	return 0;
}
